Buy Used and New Dominique Méry Books

Rigorous State-Based Methods: 7th International Conference, ABZ 2020, Ulm, Germany, May 27–29, 2020, Proceedings: 12071 (Lecture Notes in Computer Science, 12071)

by Alexander Raschke,Dominique Méry,Frank Houdek

ISBN 13: 9783030480769

Format: Paperback (440 pages)
Publisher: Springer
Published: 15 May 2020

Save for later

Rigorous State-Based Methods: 8th International Conference, ABZ 2021, Ulm, Germany, June 9–11, 2021, Proceedings: 12709 (Lecture Notes in Computer Science, 12709)

by Alexander Raschke,Dominique Méry

ISBN 13: 9783030775421

Format: Paperback (177 pages)
Publisher: Springer
Published: 23 May 2021

Save for later

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur,Shin Nakajima,Dominique Méry

ISBN 13: 9789811550560

Format: Paperback (358 pages)
Publisher: Springer
Published: 29 Jul 2021

Save for later

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems: Communications of NII Shonan Meetings

by Yamine Ait-Ameur, Shin Nakajima, Dominique Méry

ISBN 13: 9789811550539

Format: Hardcover (358 pages)
Publisher: Springer
Published: 28 Jul 2020

Save for later

Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy, France, October 11-14, 2010, Proceedings (Lecture Notes in Computer Science / Programming and Software Engineering)

by

ISBN 13: 9783642162640

Format: Paperback (347 pages)
Publisher: Springer
Published: 06 Oct 2010

Save for later

Model and Data Engineering: 8th International Conference, MEDI 2018, Marrakesh, Morocco, October 24–26, 2018, Proceedings: 11163 (Lecture Notes in Computer Science)

by El Hassan Abdelwahed,Ladjel Bellatreche,Mattéo Golfarelli,Dominique Méry,Carlos Ordonez

ISBN 13: 9783030008550

Format: Paperback (456 pages)
Publisher: Springer
Published: 13 Sep 2018

Save for later